1. Computability, Complexity, and Languages
پدیدآورنده : \ Martin D. Davis, Elaine J. Weyuker
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Machine theory,Computational complexity,Formal languages,نظریه ماشین,پیچیدگی محاسباتی,زبانهای صوری
رده :
E-Book
,
2. Computability, complexity, and languages :
پدیدآورنده : Martin D. Davis, Ron Sigal, Elaine J. Weyuker
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational complexity,Formal languages,Machine theory
رده :
QA267
.
D38
1994
3. Computability, complexity, and languages
پدیدآورنده : Martin D. Davis, Elaine J. Weyuker,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Machine theory,Computational complexity,Formal languages
رده :
QA
.
D38
267
1983
4. Computability, complexity, and languages : fundamentals of theoretical computer science
پدیدآورنده : Davis, Martin, 8291-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Machine theory,، Computational complexity,، Formal languages
رده :
QA
267
.
D285C6
5. Computability, complexity, and languages : fundamentals of theoretical computer science
پدیدآورنده : Davis, Martin
موضوع : ، Machine theory,، Computational complexity,، Formal languages
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
6. Computability, complexity, and languages : fundamentals of theoretical computer science
پدیدآورنده : Martin D. Davis, Ron Sigal, Elaine J. Weyuker
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (تهران)
موضوع : Machine theory,Computational complexity,Formal languages
رده :
QA
267
.
D38
1994
7. Computability, complexity, and languages fundamentals of theoretical computer science
پدیدآورنده : Davis, Martin
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Machine theory,، Computational complexity,، Formal languages
رده :
QA
267
.
D38
8. Computability, complexity, and languages : fundamentals of theoretical computer science
پدیدآورنده : Davis, Martin, 8291-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Machine theory,، Computational complexity,، Formal languages
رده :
QA
267
.
D285C6
1994
9. #Elements of the theory of computation
پدیدآورنده : #Harry R. Lewis, Christos H. Papadimitriou
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Machine theory ،Formal languages ،Computational complexity ،Logic, Symbolic and mathematical
رده :
#
QA
،#.
L49
،#
1998
10. Elements of the theory of computation
پدیدآورنده : / Harry R. Lewis, Christos H. Papadimitriou
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Machine theory,Formal languages,Computational complexity,Logic, Symbolic and mathematical
رده :
QA267
.
L49
1998
11. Elements of the theory of computation
پدیدآورنده : Lewis, Harry R
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Machine theory,Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
267
.
L49
12. Elements of the theory of computation
پدیدآورنده : / Harry R. Lewis, Christos H. Papadimitriou
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Machine theory,Formal languages,Computational complexity,Logic, Symbolic and mathematical
رده :
QA267
.
L49
1998
13. Elements of the theory of computation
پدیدآورنده : Lewis, Harry R.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Machine theory , Formal languages , Computational complexity , Logic, Symbolic and mathematical
رده :
QA
267
.
L49
1998
14. Elements of the theory of computation
پدیدآورنده : Lewis, Harry R.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Machine theory,، Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
267
.
L49
15. Elements of the theory of computation
پدیدآورنده : Lewis, Harry R.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Machine theory,، Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
267
.
L49
16. Elements of the theory of computation
پدیدآورنده : Lewis, Harry R.
موضوع : ، Machine theory,، Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
17. Elements of the theory of computation
پدیدآورنده : Lewis, Harry R
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Machine theory,، Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
267
.
L49
18. Elements of the theory of computation /
پدیدآورنده : Harry R. Lewis, Christos H. Papadimitriou
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational complexity,Formal languages,Logic, Symbolic and mathematical,Machine theory
رده :
QA267
.
L49
1998
19. Feasible computations and provable complexity properties
پدیدآورنده : Hartmanis, Juris
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Machine theory,، Formal languages,، Computational complexity
رده :
QA
267
.
H33
20. Introduction to autmata theory languages and computation
پدیدآورنده : Hopcroft, John E.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Machine theory,، Formal languages,، Computational complexity
رده :
QA
267
.
H66